Optimal. Leaf size=419 \[ -\frac{256 (2 c d-b e)^4 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{45045 c^6 e^2 (d+e x)^{5/2}}-\frac{128 (2 c d-b e)^3 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{9009 c^5 e^2 (d+e x)^{3/2}}-\frac{32 (2 c d-b e)^2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{1287 c^4 e^2 \sqrt{d+e x}}-\frac{16 \sqrt{d+e x} (2 c d-b e) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{429 c^3 e^2}-\frac{2 (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{39 c^2 e^2}-\frac{2 g (d+e x)^{5/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{15 c e^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.72607, antiderivative size = 419, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 3, integrand size = 46, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.065, Rules used = {794, 656, 648} \[ -\frac{256 (2 c d-b e)^4 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{45045 c^6 e^2 (d+e x)^{5/2}}-\frac{128 (2 c d-b e)^3 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{9009 c^5 e^2 (d+e x)^{3/2}}-\frac{32 (2 c d-b e)^2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{1287 c^4 e^2 \sqrt{d+e x}}-\frac{16 \sqrt{d+e x} (2 c d-b e) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{429 c^3 e^2}-\frac{2 (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2} (-2 b e g+c d g+3 c e f)}{39 c^2 e^2}-\frac{2 g (d+e x)^{5/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{15 c e^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 794
Rule 656
Rule 648
Rubi steps
\begin{align*} \int (d+e x)^{5/2} (f+g x) \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{3/2} \, dx &=-\frac{2 g (d+e x)^{5/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{15 c e^2}-\frac{\left (2 \left (\frac{5}{2} e \left (-2 c e^2 f+b e^2 g\right )+\frac{5}{2} \left (-c e^3 f+\left (-c d e^2+b e^3\right ) g\right )\right )\right ) \int (d+e x)^{5/2} \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{3/2} \, dx}{15 c e^3}\\ &=-\frac{2 (3 c e f+c d g-2 b e g) (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{39 c^2 e^2}-\frac{2 g (d+e x)^{5/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{15 c e^2}+\frac{(8 (2 c d-b e) (3 c e f+c d g-2 b e g)) \int (d+e x)^{3/2} \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{3/2} \, dx}{39 c^2 e}\\ &=-\frac{16 (2 c d-b e) (3 c e f+c d g-2 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{429 c^3 e^2}-\frac{2 (3 c e f+c d g-2 b e g) (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{39 c^2 e^2}-\frac{2 g (d+e x)^{5/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{15 c e^2}+\frac{\left (16 (2 c d-b e)^2 (3 c e f+c d g-2 b e g)\right ) \int \sqrt{d+e x} \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{3/2} \, dx}{143 c^3 e}\\ &=-\frac{32 (2 c d-b e)^2 (3 c e f+c d g-2 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{1287 c^4 e^2 \sqrt{d+e x}}-\frac{16 (2 c d-b e) (3 c e f+c d g-2 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{429 c^3 e^2}-\frac{2 (3 c e f+c d g-2 b e g) (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{39 c^2 e^2}-\frac{2 g (d+e x)^{5/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{15 c e^2}+\frac{\left (64 (2 c d-b e)^3 (3 c e f+c d g-2 b e g)\right ) \int \frac{\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{3/2}}{\sqrt{d+e x}} \, dx}{1287 c^4 e}\\ &=-\frac{128 (2 c d-b e)^3 (3 c e f+c d g-2 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{9009 c^5 e^2 (d+e x)^{3/2}}-\frac{32 (2 c d-b e)^2 (3 c e f+c d g-2 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{1287 c^4 e^2 \sqrt{d+e x}}-\frac{16 (2 c d-b e) (3 c e f+c d g-2 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{429 c^3 e^2}-\frac{2 (3 c e f+c d g-2 b e g) (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{39 c^2 e^2}-\frac{2 g (d+e x)^{5/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{15 c e^2}+\frac{\left (128 (2 c d-b e)^4 (3 c e f+c d g-2 b e g)\right ) \int \frac{\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{3/2}}{(d+e x)^{3/2}} \, dx}{9009 c^5 e}\\ &=-\frac{256 (2 c d-b e)^4 (3 c e f+c d g-2 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{45045 c^6 e^2 (d+e x)^{5/2}}-\frac{128 (2 c d-b e)^3 (3 c e f+c d g-2 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{9009 c^5 e^2 (d+e x)^{3/2}}-\frac{32 (2 c d-b e)^2 (3 c e f+c d g-2 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{1287 c^4 e^2 \sqrt{d+e x}}-\frac{16 (2 c d-b e) (3 c e f+c d g-2 b e g) \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{429 c^3 e^2}-\frac{2 (3 c e f+c d g-2 b e g) (d+e x)^{3/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{39 c^2 e^2}-\frac{2 g (d+e x)^{5/2} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{5/2}}{15 c e^2}\\ \end{align*}
Mathematica [A] time = 0.390578, size = 364, normalized size = 0.87 \[ -\frac{2 (b e-c d+c e x)^2 \sqrt{(d+e x) (c (d-e x)-b e)} \left (16 b^2 c^3 e^2 \left (3 d^2 e (347 f+515 g x)+1724 d^3 g+30 d e^2 x (19 f+21 g x)+105 e^3 x^2 (f+g x)\right )-32 b^3 c^2 e^3 \left (389 d^2 g+2 d e (63 f+100 g x)+5 e^2 x (6 f+7 g x)\right )+128 b^4 c e^4 (22 d g+3 e f+5 e g x)-256 b^5 e^5 g-2 b c^4 e \left (30 d^2 e^2 x (542 f+553 g x)+4 d^3 e (4131 f+5530 g x)+15191 d^4 g+420 d e^3 x^2 (17 f+16 g x)+105 e^4 x^3 (12 f+11 g x)\right )+c^5 \left (210 d^2 e^3 x^2 (203 f+173 g x)+20 d^3 e^2 x (2505 f+2212 g x)+d^4 e (29049 f+31715 g x)+12686 d^5 g+210 d e^4 x^3 (90 f+77 g x)+231 e^5 x^4 (15 f+13 g x)\right )\right )}{45045 c^6 e^2 \sqrt{d+e x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.009, size = 535, normalized size = 1.3 \begin{align*} -{\frac{ \left ( 2\,cex+2\,be-2\,cd \right ) \left ( -3003\,g{e}^{5}{x}^{5}{c}^{5}+2310\,b{c}^{4}{e}^{5}g{x}^{4}-16170\,{c}^{5}d{e}^{4}g{x}^{4}-3465\,{c}^{5}{e}^{5}f{x}^{4}-1680\,{b}^{2}{c}^{3}{e}^{5}g{x}^{3}+13440\,b{c}^{4}d{e}^{4}g{x}^{3}+2520\,b{c}^{4}{e}^{5}f{x}^{3}-36330\,{c}^{5}{d}^{2}{e}^{3}g{x}^{3}-18900\,{c}^{5}d{e}^{4}f{x}^{3}+1120\,{b}^{3}{c}^{2}{e}^{5}g{x}^{2}-10080\,{b}^{2}{c}^{3}d{e}^{4}g{x}^{2}-1680\,{b}^{2}{c}^{3}{e}^{5}f{x}^{2}+33180\,b{c}^{4}{d}^{2}{e}^{3}g{x}^{2}+14280\,b{c}^{4}d{e}^{4}f{x}^{2}-44240\,{c}^{5}{d}^{3}{e}^{2}g{x}^{2}-42630\,{c}^{5}{d}^{2}{e}^{3}f{x}^{2}-640\,{b}^{4}c{e}^{5}gx+6400\,{b}^{3}{c}^{2}d{e}^{4}gx+960\,{b}^{3}{c}^{2}{e}^{5}fx-24720\,{b}^{2}{c}^{3}{d}^{2}{e}^{3}gx-9120\,{b}^{2}{c}^{3}d{e}^{4}fx+44240\,b{c}^{4}{d}^{3}{e}^{2}gx+32520\,b{c}^{4}{d}^{2}{e}^{3}fx-31715\,{c}^{5}{d}^{4}egx-50100\,{c}^{5}{d}^{3}{e}^{2}fx+256\,{b}^{5}{e}^{5}g-2816\,{b}^{4}cd{e}^{4}g-384\,{b}^{4}c{e}^{5}f+12448\,{b}^{3}{c}^{2}{d}^{2}{e}^{3}g+4032\,{b}^{3}{c}^{2}d{e}^{4}f-27584\,{b}^{2}{c}^{3}{d}^{3}{e}^{2}g-16656\,{b}^{2}{c}^{3}{d}^{2}{e}^{3}f+30382\,b{c}^{4}{d}^{4}eg+33048\,b{c}^{4}{d}^{3}{e}^{2}f-12686\,{c}^{5}{d}^{5}g-29049\,f{d}^{4}{c}^{5}e \right ) }{45045\,{c}^{6}{e}^{2}} \left ( -c{e}^{2}{x}^{2}-b{e}^{2}x-bde+c{d}^{2} \right ) ^{{\frac{3}{2}}} \left ( ex+d \right ) ^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.812, size = 1181, normalized size = 2.82 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.75167, size = 1948, normalized size = 4.65 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]